PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems
نویسندگان
چکیده
This paper presents a knowledge engineering tool, called PRISM, to model collective behaviors of real-time IoT systems. PRISM is developed on the ADOxx Meta-Modeling Platform, in order to implement the new notion of a domain engineering method, known as behavior ontology. In PRISM, the ontology can be constructed as follows: 1) All the collective behaviors for a domain are defined from active ontology, 2) the behaviors are formed in a quantifiably abstracted lattice, called n:2-Lattice, and 3) a behavior ontology for the domain can be constructed by merging the n:2-lattices into an integrated lattice. Once the ontology is constructed, each system in the domain can be interpreted with respect to the ontology or lattice. In the paper, the Emergency Medical Service (EMS) domain and a smart IoT example for EMS are selected for modeling and interpretation in PRISM. PRISM shows an innovative approach for meta-modeling of domain knowledge as a tool.
منابع مشابه
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven engineering method for reactive systems SPACE and its tool-set Reactive Blocks that provide an extension to support the modeling and verification of real-time behaviors. The approach facilitates the composition of syst...
متن کاملCloud and IoT based Smart Car Parking System by using Mamdani Fuzzy Inference System (MFIS)
Internet of Things (IoT) and cloud computing technologies have connected the infrastructure of the city to make the context-aware and more intelligent city for utility its major resources. These technologies have much potential to solve thechallenges of urban areas around the globe to facilitate the citizens. A framework model that enables the integration of sensor’s data and analysis of ...
متن کاملA Simulation Approach to Evaluate Performance Indices of Fuzzy Exponential Queuing System (An M/M/C Model in a Banking Case Study)
This paper includes a simulation model built in order to predict the performance indicessuch aswaiting time by analyzing queue’s components in the real world under uncertain and subjective situation. The objective of this paper is to predict the waiting time of each customer in an M/M/C queuing model. In this regard, to enable decision makers to obtain useful results with enough knowledge on th...
متن کاملVerification of an Air-Traffic Control System with Probabilistic Real-time Model-checking
In this paper we present an approach to safety verification of Air-Traffic Control Systems (ATC) using probabilistic real-time model-checking. Namely we use ATC as a case study for the formal analysis of real time systems whose performance depends on uncertain or probabilistic behaviors. We construct a probabilistic timed automata model for ATC by extending the Operator Choice Model (OCM), a mo...
متن کاملOnline Fault Detection and Isolation Method Based on Belief Rule Base for Industrial Gas Turbines
Real time and accurate fault detection has attracted an increasing attention with a growing demand for higher operational efficiency and safety of industrial gas turbines as complex engineering systems. Current methods based on condition monitoring data have drawbacks in using both expert knowledge and quantitative information for detecting faults. On account of this reason, this paper proposes...
متن کامل